Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
221	Qualified Types for MLF Daan Leijen Andres L¨oh Institute of Information and Computing Sciences, Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Mathematical logic Parametric polymorphism Type class System F Normal function Type inference Ordinal number Type system Kind Type theory Software engineering Programming language theory
222	Package ‘bootspecdens’ February 19, 2015 Type Package Title Testing equality of spectral densities Version 3.0 Date[removed] Add to Reading List Source URL: cran.ms.unimelb.edu.au Language: English - Date: 2015-02-19 17:12:42 Spectral density Waves Bootstrapping Statistics Signal processing Statistical inference
223	file:///Users/dave/Desktop/Cohen%20Things%20I%20have%20learne.html Add to Reading List Source URL: www.uvm.edu Language: English - Date: 2006-09-01 12:15:13 Parametric statistics Statistical tests Statistical inference Statistical power Statistical hypothesis testing Null hypothesis Statistical significance Unit-weighted regression Type I and type II errors Statistics Hypothesis testing Design of experiments
224	Package ‘SampleSizeProportions’ February 19, 2015 Type Package Title Calculating sample size requirements when estimating the difference between two binomial proportions Version 1.0 Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2015-02-19 16:40:21 Estimation theory Credible interval Confidence interval Point estimation Sample size determination Prior probability Likelihood function Coverage probability Frequentist inference Statistics Statistical inference Bayesian statistics
225	Studies in History and Philosophy of Science xxx[removed]xxx–xxx Contents lists available at ScienceDirect Studies in History and Philosophy of Science journal homepage: www.elsevier.com/locate/shpsa Add to Reading List Source URL: www.phil.vt.edu Language: English - Date: 2014-11-18 23:10:09 Knowledge Design of experiments Statistical inference Psychometrics Philosophy of science Statistical hypothesis testing Null hypothesis Bayesian probability Type I and type II errors Statistics Science Hypothesis testing
226	Following the example of Mayo (1985), we are sampling from a population of fish, or more properly, of fish lengths. A fish’s length, in inches, may be represented by variable X; that is, to each fish a value of X (lik Add to Reading List Source URL: www.phil.vt.edu Language: English - Date: 2011-11-26 18:27:20 Design of experiments Statistical inference Statistical hypothesis testing Statistical power Normal distribution F-test Size Null hypothesis Type I and type II errors Statistics Hypothesis testing Statistical tests
227	The Scala-REPL + MMT as a Lightweight Mathematical User Interface Mihnea Iancu, Felix Mance, and Florian Rabe Jacobs University, Bremen, Germany Abstract. Scala is a general purpose programming language that includes a Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-09 06:07:30 Lisp programming language Functional programming Functional languages Type theory Data types OpenMath Read–eval–print loop Scala Type inference Computing Software engineering Computer programming
228	Practical, Pluggable Types for a Dynamic Language ? Niklaus Haldiman Marcus Denker Oscar Nierstrasz Software Composition Group IAM — Universit¨ at Bern, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2008-09-19 08:21:59 Programming language theory Type system Type inference Subtype polymorphism Type safety Smalltalk Top type Annotation C Software engineering Type theory Computing
229	TypePlug Pluggable Type Systems for Smalltalk Masterarbeit der Philosophisch-naturwissenschaftlichen Fakult¨at der Universit¨at Bern Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2007-04-25 11:11:54 Computing Type system Type inference Smalltalk Type safety Dynamic dispatch Typing environment Reflection ML Software engineering Type theory Programming language theory
230	Practical, Pluggable Types? Niklaus Haldiman, Marcus Denker and Oscar Nierstrasz Software Composition Group University of Bern – Switzerland http://scg.iam.unibe.ch Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2008-04-07 14:32:54 Data types Computing Object-oriented programming Type systems Polymorphism Type inference Subtype polymorphism Type safety Smalltalk Type theory Software engineering Programming language theory

UPDATE